If stem cell-based therapies are developed, we will likely confront a difficult problem of justice: for biological reasons alone, the new therapies might benefit only a limited range of patients. In fact, they might benefit primarily white Americans, thereby exacerbating long-standing differences in health and health care.

In this paper, we present an argument showing why the general properties of a self-organizing system (e.g. being far from equilibrium) may be too weak to characterize biological and proto-biological systems. The special character of biological systems, tell us that its distinctive capacities could have been developed in pre-biotic times. In other words, the basic properties of life would be better comprehended if we think that they were much more likely early in time. We developed a conceptual proposal on the (...) origins of pre-biotic world, a kind of protocellular system which is made up of simple molecular compounds interconnecting three different types of processes. The interrelation of these processes characterizes the “Informational Dynamical System” (our conceptualprotocell proposal) as an autonomous dynamical system that can maintain by itself in far from equilibrium state, as opposed to those that depend on external causes. Consequently it follows that, in the dawn of pre-biotic world, there was no DNA or RNA or proteins to begin with. As well, our proposal implies the separation of biological evolution from the kind of open-ended evolution that gave rise to first breed of animate matter. (shrink)

Research assistantships have long been viewed as an extension of the formal education process, a form of apprenticeship, and a pathway into the professional practice of research in institutional settings. However, there are other contexts in which researchers practice research. Our self-reflective analysis identified that RAship experiences during the masters and the PhD may serve developmentally foundational roles in the advancement of an RA’s knowledge, skills, and passion for research. Further, analysis of participants’ experiences revealed that RA supervisors play critical (...) roles in the development of RAs as researchers. We conclude with the understanding that RAships may be formative in contributing to the development of individuals who go on to specialise as professional research consultants as research consulting is a natural extension of the RA role. Students entering into RAships, current RAs, new faculty members, current RA supervisors, faculty members looking to improve their research productivity, and Chairs of departments will all benefit from reading this paper and its contribution to the current understanding of how RAships impact the development of researchers, and specifically how RAships contribute to the development of research consultants. (shrink)

There is in much of contemporary irrigation development a large paradox. Irrigation development, while contributing to productivity, frequently thwarts social justice—it either introduces incipient inequalities in access or it reinforces those that exist. More progressive irrigation development policies are being developed and tested in several countries. These new approaches give more attention to the role of local groups in governing irrigation systems while reducing the heavy-handed involvement of state agencies. These new approaches are seen as both consistent with achieving greater (...) fairness in irrigation development as well as with the new fiscal realities of governments nearly everywhere. Supporting these new approaches are a set of institutions and individuals with nonengineering expertise who traditionally have not been defined as central to irrigation development. (shrink)

The increasingly ubiquitous use of technology has led to the concomitant rise of intensified data collection and the ethical issues associated with the privacy and security of that data. In order to address the question of how these ethical concerns are discussed in the literature surrounding the subject, we examined articles published in IEEE Security and Privacy, a magazine targeted towards a general, technically-oriented readership spanning both academia and industry. Our investigation of the intersection between the ethical and technological dimensions (...) of privacy and security is structured as a bibliometric analysis. Our dataset covers all articles published in IEEE Security and Privacy since its inception in 2003 to February 06, 2014. This venue was chosen not only because of its target readership, but also because a preliminary search of keywords related to ethics, privacy, and security topics in the ISI Web of Knowledge and IEEE Xplore indicated that IEEE Security and Privacy has published a preponderance of articles matching those topics. In fact, our search returned two-fold more articles for IEEE Security and Privacy than the next most prolific venue. These reasons, coupled with the fact that both academia and industry are well-represented in the authorship of articles makes IEEE Security and Privacy an excellent candidate for bibliometric analysis. Our analysis examines the ways articles in IEEE Security and Privacy relate ethics to information technology. Such articles can influence the development of law, policy and the future of information technology ethics. We employed thematic and JK-biplot analyses of content relating privacy and ethics and found eight dominant themes as well as the inter-theme relationships. Authors and institutional affiliations were examined to discern whether centers of research activity and/or authors dominated the overall field or thematic areas. Results suggest avenues for future work in critical areas, especially for closing present gaps in the coverage of ethics and information technology privacy and security themes particularly in the areas of ethics and privacy awareness. (shrink)

In acute inpatient mental health services, patients commonly demonstrate extreme behaviours. A number of coercive practices, such as locked doors, enforced medication and seclusion, are used in these settings to control such behaviours. The aim of this report is to explore briefly some of the contemporary debates pertaining to seclusion. A perusal of the literature reveals a clarion call to end the practice of seclusion, without consideration of feasible alternatives. It is hoped that this brief report will encourage further evidence-based (...) discussion and research initiatives on this important ethical topic. (shrink)

Locked inpatient units are an increasing phenomenon, introduced in response to unforseen abscondences and suicides of patients. This paper identifies some value issues concerning the practice of locked psychiatric inpatient units. Broad strategies, practicalities and ethical matters that must be considered in inpatient mental health services are also explored. The authors draw on the published research and commentary to derive relevant information to provide to patients and staff regarding the aims and rationales of locked units. Further debate is warranted in (...) relation to best practice. Inpatient staff need to be aware of their practice values, be able to access education and supervision and negotiate apparent contradictions. Further patient/clinician focused enquiry is necessary to mitigate the negative and stigmatising effects of locked mental health units. (shrink)

What is the proper punishment from the perspective of the libertarian philosophy? More specifically, in what way, if at all, may a thief benefit from his robbery? The present essay attempts to wrestle with these challenging questions.

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The Logic of Law Making in Islam: Women and Prayer in the Legal Tradition. By Behnam Sadeghi. Cambridge Studies in Islamic Civilization. Cambridge: Cambridge University Press, 2013. Pp. xxi + 215. $99.99, £64.99.

During the past thirty years, scholars and commentators have produced a flood of articles and books on almost every aspect and feature of Berkeley's work. There are, however, very few points on which these commentators agree. Since the debate shows no signs of abating, Walter Creery has gathered together a collection of the more significant articles in this extremely useful and accessible form. These three volumes gather together eighty-seven articles on Berkeley's views on the central issues of the philosophy of (...) language, the theory of vision, qualities, general ideas, matter, the theory of mind, and notions. The collection contains articles both harshly critical of Berkeley as well as those sympathetic with the philosopher's views, and there has been an attempt to balance the selection between the immaterialist and idealist theories. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logics, and can be easily extended to a large family of quantified paraconsistent (...) logics, supplying a sound and complete semantical interpretation for such logics. However, certain subtleties involving term substitution and replacement, that are hidden in classical structures, have to be taken into account when one ventures into the realm of nonclassical reasoning. This paper shows how such difficulties can be overcome, and offers detailed proofs showing that a smooth treatment of semantical characterization can be given to all such logics. Although the paper is well-endowed in technical details and results, it has a significant philosophical aside: it shows how slight extensions of classical methods can be used to construct the basic model theory of logics that are weaker than traditional logic due to the absence of certain rules present in classical logic. Several such logics, however, as in the case of the LFIs treated here, are notorious for their wealth of models precisely because they do not make indiscriminate use of certain rules; these models thus require new methods. In the case of this paper, by just appealing to a refined version of the Principle of Explosion, or Pseudo-Scotus, some new constructions and crafty solutions to certain non-obvious subtleties are proposed. The result is that a richer extension of model theory can be inaugurated, with interest not only for paraconsistency, but hopefully to other enlargements of traditional logic. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

What is the proper punishment from the perspective of the libertarian philosophy? More specifically, in what way, if at all, may a thief benefit from his robbery? The present essay attempts to wrestle with these challenging questions.

A translation of the main text for only published version J. G. Fichte's later WL. (Hitzig: Berlin 1810). It excludes Fichte's Preface.

Virtues are standardly understood as (1) essentially dispositions to perform certain actions and (2) having only instrumental value as motives to fulfill moral duties which can be fulfilled by persons lacking the virtue because the duties mandate only certain act-types. The argument of this article is that the duties of beneficence, gratitude and self-respect cannot be stated in terms of obligatory act-types because they cannot be fulfilled (except in deficient form) by persons lacking the appropriate virtue; they are, rather, duties (...) to cultivate specific virtues which therefore cannot themselves be defined in terms of obligatory actions. (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our (...) framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)